Towards an Interactive Learning Environment for Object-Z
نویسندگان
چکیده
منابع مشابه
Towards an Interactive Learning Environment for Object-Z
We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semiformal model UML is used in the intermediate phase between informal textual description and formal Object-Z desc...
متن کاملAn inTerACTive LeArning environmenT
175 Rapid advances in information technology and easy access to the Web have motivated students and educators to use more and more Internet and multimedia technology for educational purposes. Educators and students are challenged by the great potential of the Internet for delivering and sharing a large amount of information among a greater public, and by the possibility of creating alternative ...
متن کاملTowards an Interactive Multilingual Environment
We want to present here two simple systems developed to help people work in a multilingual en-vironement. The rst system allows one to perform searches in a multilingual document collection , whereas the second one helps understanding documents in foreign languages. These systems can be coupled together to provide a substantial aid to people working in a multilingual environment .
متن کاملOOZE : an Object-Oriented Z Environment
OOZE, which stands for “Object Oriented Z Environment,” is a generalized wide spectrum object oriented language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic,...
متن کاملAn Interactive Learning Environment for Edutainment
The development of new interactive technologies inevitably has an impact on education and entertainment. This paper describes a virtual learning environment to support and improve day-to-day teaching for short age children. We introduce a 3D playground where children find personalized aspects depending on their ages and tastes. The edutainment environment incorporates a series of difficulty lev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Issues in Informing Science and Information Technology
سال: 2004
ISSN: 1547-5840,1547-5867
DOI: 10.28945/793